$\forall$$x$, $y$:$\mathbb{Z}$. $x$ $<$ $y$ $\Leftarrow\!\Rightarrow$ ($x$ $<$ $y$)